theorems about prime numbers